期 刊 浏 览

简 单 检 索

复 杂 检 索

 帮  助 

 退  出 
(请使用IE浏览器访问本系统)


  学科分类

  基础科学

  工程技术

  生命科学

  人文社会科学

  其他

Frontiers 系列期刊数据库

同卷期检索


检索
   重置

检索方式：同卷期检索
卷期：6卷1期，刊名: Frontiers of Computer Science (Formerly known as Frontiers of Computer Science in China)
命中数：10，共1页，第1页    

1
Formal engineering methods for software quality assurance Shaoying LIU;
Frontiers of Computer Science
2095-2228 ; 2012 ; Volume6,Number1 ; P1-2

2
The use of mathematics in software quality assurance David Lorge PARNAS;

摘   要
Frontiers of Computer Science
2095-2228 ; 2012 ; Volume6,Number1 ; P3-16

3
rCOS: a formal model-driven engineering method for component-based software Wei KE; Xiaoshan LI; Zhiming LIU; Volker STOLZ;

摘   要
Frontiers of Computer Science
2095-2228 ; 2012 ; Volume6,Number1 ; P17-39

4
An institution theory of formal meta-modelling in graphically extended BNF Hong ZHU;

摘   要
Frontiers of Computer Science
2095-2228 ; 2012 ; Volume6,Number1 ; P40-56

5
SeVe: automatic tool for verification of security protocols Anh Tuan LUU; Jun SUN; Yang LIU; Jin Song DONG; Xiaohong LI; Thanh Tho QUAN;

摘   要
Frontiers of Computer Science
2095-2228 ; 2012 ; Volume6,Number1 ; P57-75

6
Mining the interests of Chinese microbloggers via keyword extraction Zhiyuan LIU; Xinxiong CHEN; Maosong SUN;

摘   要
Frontiers of Computer Science
2095-2228 ; 2012 ; Volume6,Number1 ; P76-87

7
Enriching short text representation in microblog for clustering Jiliang TANG; Xufei WANG; Huiji GAO; Xia HU; Huan LIU;

摘   要
Frontiers of Computer Science
2095-2228 ; 2012 ; Volume6,Number1 ; P88-101

8
Forecasting complex group behavior via multiple plan recognition Xiaochen LI; Wenji MAO; Daniel ZENG;

摘   要
Frontiers of Computer Science
2095-2228 ; 2012 ; Volume6,Number1 ; P102-110

9
Prediction of urban human mobility using large-scale taxi traces and its applications Xiaolong LI; Gang PAN; Zhaohui WU; Guande QI; Shijian LI; Daqing ZHANG; Wangsheng ZHANG; Zonghui WANG;

摘   要
Frontiers of Computer Science
2095-2228 ; 2012 ; Volume6,Number1 ; P111-121

10
On social computing research collaboration patterns: a social network perspective Tao WANG; Qingpeng ZHANG; Zhong LIU; Wenli LIU; Ding WEN;

摘   要
Frontiers of Computer Science
2095-2228 ; 2012 ; Volume6,Number1 ; P122-130
命中数：10，共1页，第1页    
选中篇目详细记录 所有篇目详细记录 导出篇目简单记录 导出篇目详细记录
版权所有 © CALIS管理中心 2008

Home   |    CALIS   |    About Us   |    Support    |    FAQ